1. An Attribute grammar for the semantic analysis of ADA

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
73
.
A35
J845
1982

2. An Attribute grammar for the semantic analysis of ADA

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
73
.
A35
.
A87
1982

3. Cognitive modeling and verbal semantics :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Cognitive grammar,Programming languages (Electronic computers)-- Semantics,Semantics-- Mathematical models,UML (Computer science)

4. Complementary definitions of programming language semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics

رده :
QA
76
.
7
.
D66

5. Complementary definitions of programming language semantics

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Programming languages (Electronic computers),Pascal (Computer program language),Semantics

رده :
QA
76
.
7
.
D66

6. Computational Semantics with Functional Programming

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)

رده :
QA76
,.
7
.
E43
2010

7. Computational semantics with functional programming

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر

رده :
QA
76
.
7
.
E35C6
2010
E-Book
,

8. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
P45
2002

9. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

رده :
QA
76
.
9
.
D35
.
I351
1995

10. Domain-theoretic foundations of functional programming

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)

رده :
QA
76
.
7
.
S818
2006

11. Fairness

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(

رده :
QA
76
.
6
.
F72
1986

12. Formal syntax and semantics of Java

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1523

13. Formal syntax and semantics of Java

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Java (Computer program language),Programming languages (Electronic computers)--Semantics

رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999

14. Formal syntax and semantics of Java

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;

15. Initial computability, algebraic specifications, and partial algebras

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

رده :
QA
76
.
9
.
M35R45
1987

16. Introduction to natural language processing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Interactive computer system,Semantics ، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
I58
H37
1985

17. Introduction to the theory of programming languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(

رده :
QA
76
.
7
.
M49
1991

18. Introduction to the theory of programming languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع: Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics

رده :
QA76
.
7
.
M49
1988

19. Journal on data semantics VII

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Database management. ; Programming languages (Electronic computers) ; Semantics. ; Semantic integration (Computer systems) ; Semantic networks (Information theory) ;

20. Language, logic, and computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :
QA76
.
9
.
L63